#include <stdio.h>

#pragma instrument function (main)

int main(int argc, char **argv)
{
	int i, j;
	for( i=0; i<1000; i++)
	{
		printf("toto %d\n", i);
		for (j=0; j<100 ; j++)
			printf("tata %d\n", j);
	}		
	return 0;
}
